Book Review: Logical Dilemmas: The Life and Work of Kurt Godel and Godel: A Life of Logic, Volume 48, Number 8
نویسندگان
چکیده
In its March 29, 1999, issue TIME magazine provided its picks for the twenty greatest “scientists and thinkers” of the twentieth century. Kurt Gödel was on the list along with his good friend Albert Einstein. Alan Turing was the other mathematician among the twenty. Since we may agree that Einstein should be regarded primarily as a physicist, it turns out that the mathematicians TIME selected as the great thinkers of the past century were a pair of logicians! Whatever one may think about these two, the work of the overwhelming majority of mathematicians has been quite unaffected by what they accomplished. Turing’s main influence on most mathematicians, and indeed on the population at large, stems from his role as progenitor of the computer (see [1]), and it was for this role that TIME selected him. In Douglas Hofstadter’s TIME article on Gödel, John von Neumann is quoted proclaiming that Gödel’s “achievement...is singular and monumental...a landmark which will remain visible far in space and time....” Although Gödel did a number of other very important things, it is the “achievement” to which von Neumann referred, Gödel’s incompleteness theorem, that has caught the imagination of the educated public. Indeed, Hofstadter himself played an important part in bringing Gödel’s work to the attention of a general audience by writing his Pulitzer Prize-winning book [5], a whimsical, artful work, full of amusing dialogues and connections with music, art, and artificial intelligence. Kurt Gödel was a very strange man, and his life is as interesting as his scientific work. Both of the books under review bring the two together but are intended for quite different audiences. John Dawson explains in his preface that although he has not “presumed any acquaintance with modern mathematical logic,” he has assumed that his readers “possess a modicum of mathematical understanding.” In fact, his book would likely be tough going for anyone who had not studied mathematics at the graduate level. John L. Casti Book Review
منابع مشابه
Truth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملOn the compactness property of extensions of first-order G"{o}del logic
We study three kinds of compactness in some variants of G"{o}del logic: compactness,entailment compactness, and approximate entailment compactness.For countable first-order underlying language we use the Henkinconstruction to prove the compactness property of extensions offirst-order g logic enriched by nullary connective or the Baaz'sprojection connective. In the case of uncountable first-orde...
متن کاملCritique of Research Book (Literature)/ A review of the book Manazil Al-Sairin by Khawja Yousef Hamedani, Elaheh Rajabifar
Two Masters and Manazil Al-Sairin A review of the book Manazil Al-Sairin by Khawja Yousef Hamedani Elahe Rajabifar/Ph.D. student of Persian language and literature, Tabriz University, [email protected] Abstract One of the renowned mystics who has a book on mystic Manazil (stations) is Khawja Yusef Hamedani (535-440 AH). He is a mystic of the fifth and sixth centuries, one of the founders...
متن کاملA Parameterised Module System for Constructing Typed Logic Programs
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the language Godel which is a logic programming language which already has a simple type and module system. The module system described here ex tends the Godel module system so as to include parameterised modules. In particu...
متن کاملBOOK REVIEW: Review of The New Chronology of the Bronze Age Settlement of Tepe Hissar, Iran
This is an invited review of the new volume by Ayşe Gürsan-Salzmann (2016) entitled "The New Chronology of the Bronze Age Settlement of Tepe Hissar, Iran". University Museum Monograph 142, University of Pennsylvania Museum. 408 pages | 8 1/2 x 11 | 238 illus. ISBN 978-1-934536-83-4 | $69.95s | £45.50). In general, this reviewer finds the book to be of great interest to specialists and students ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001